Static Validation of Dynamically Generated HTML Claus Brabrand, Anders Møller, and Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark

Source URL: www.brics.dk

• Function
• Model theory
• Μ operator
• Mathematics
• Functions and mappings
• Limit

Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund

Source URL: www.brics.dk

• Data types
• Primitive types
• Procedural programming languages
• Program logic
• Pointer
• Type theory
• Reference
• ALGOL 68
• C
• Software engineering
• Computing
• Programming language theory

The Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark {amoeller,mis}@brics.dk

Source URL: www.brics.dk

• Program logic
• Procedural programming languages
• Data types
• Primitive types
• Type theory
• Pointer
• Hoare logic
• Linked list
• C
• Software engineering
• Computing
• Computer programming

Compile-Time Debugging of C Programs Working on Trees Jacob Elgaard, Anders Møller, and Michael I. Schwartzbach BRICS, University of Aarhus {elgaard,amoeller,mis}@brics.dk Abstract. We exhibit a technique for automatica

Source URL: www.brics.dk

• Data types
• C programming language
• C++
• Primitive types
• Procedural programming languages
• First-order logic
• Struct
• Pointer
• Hoare logic
• Software engineering
• Computing
• Computer programming

A Domain-Specic Language for Regular Sets of Strings and Trees Nils Klarlund Michael I. Schwartzbach

Source URL: www.brics.dk

Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark

Source URL: www.brics.dk

• Formal methods
• Computer science
• Finite-state machine
• Petri net
• Automata theory
• Models of computation
• Theoretical computer science

International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach

Source URL: www.brics.dk

• Model theory
• Automata theory
• Model checking
• Models of computation
• Binary decision diagram
• Boolean algebra
• First-order logic
• Finite-state machine
• CPU cache
• Mathematical logic
• Logic
• Mathematics

Graphs and Decidable Transductions based on Edge Constraints (Extended Abstract) Nils Klarlund? & Michael I. Schwartzbach?? Aarhus University, Department of Computer Science,

Source URL: www.brics.dk

• Graph
• Neighbourhood
• Path decomposition
• Planar graph
• Graph theory
• Tree
• Directed graph